19.62/22.15	unsat
