20.86/22.73	unsat
