18.62/22.11	unsat
