18.72/22.12	unsat
