3.88/5.40	unsat
