21.86/22.51	unsat
