23.95/26.20	unsat
