11.48/11.52	unsat
