4.88/6.54	unsat
