17.75/22.64	unsat
