288.78/296.36	unsat
