19.06/22.35	unsat
