5.32/7.51	unsat
