5.88/7.54	unsat
