19.05/22.93	unsat
