284.47/289.37	unsat
