19.47/26.29	unsat
