11.47/11.81	unsat
