4.88/5.77	unsat
