1826.95/1832.14	unsat
