10.32/11.52	unsat
