286.41/287.00	unsat
