18.54/19.18	unsat
