4.88/6.42	unsat
