15.26/18.25	unsat
