6.37/7.45	unsat
