24.43/26.53	unsat
