24.54/26.18	unsat
