25.12/26.53	unsat
