284.63/286.42	unsat
