18.54/19.59	unsat
