15.87/17.25	unsat
