19.16/22.78	unsat
