4.04/5.30	unsat
