5.94/7.54	unsat
