12.87/15.72	unsat
