22.86/24.54	unsat
