5.88/5.97	unsat
