14.87/15.59	unsat
