283.82/284.67	unsat
