17.79/22.17	unsat
