19.53/36.22	unsat
