283.07/286.38	unsat
