11.47/11.57	unsat
