5.89/5.96	unsat
