17.15/19.35	unsat
