4.88/6.38	unsat
