15.24/16.72	unsat
