287.47/289.25	unsat
