865.04/867.26	unsat
