4.88/5.42	unsat
