18.56/19.35	unsat
