22.86/26.51	unsat
