24.63/26.53	unsat
