5.68/5.89	unsat
