863.16/867.40	unsat
