5.90/5.96	unsat
