11.87/12.57	unsat
