24.46/26.87	unsat
