865.29/866.19	unsat
