18.86/22.17	unsat
