6.37/7.54	unsat
