5.77/5.88	unsat
