17.96/22.17	unsat
