5.32/7.30	unsat
