865.22/866.66	unsat
