24.24/26.52	unsat
