5.68/5.97	unsat
