289.82/292.67	unsat
