22.86/24.32	unsat
