19.08/27.26	unsat
