13.41/25.13	unsat
