5.66/5.89	unsat
