7.36/7.52	unsat
