22.92/23.87	unsat
