11.46/11.52	unsat
