5.08/7.30	unsat
