284.22/286.58	unsat
