285.66/287.22	unsat
